DEF=imp
EXT=imp
TESTDIR=.
KOMPILE_BACKEND=llvm
export KOMPILE_BACKEND
KRUN_FLAGS=--profile

include ../../../include/kframework/ktest.mak
